A Model of Onion Routing with Provable Anonymity
نویسندگان
چکیده
Onion routing is a scheme for anonymous communication that is designed for practical use. It has not been modeled formally, however, and therefore its anonymity guarantees have not been rigorously analyzed. We give an IO-automata model of an onion-routing protocol and, under possibilistic definitions, characterize the situations in which anonymity and unlinkability are guaranteed.
منابع مشابه
A Probabilistic Analysis of Onion Routing in a Black-box Model
Every day, half a million people use the onion-routing network Tor [Dingledine et al. 2004] to anonymize their Internet communication. However, the effectiveness of this service, and of onion routing in general, is not well understood. The approach we take to this problem is to model onion routing formally all the way from the protocol details to the behavior of the users. We then analyze the r...
متن کاملAIB-OR: Improving Onion Routing Circuit Construction Using Anonymous Identity-Based Cryptosystems
The rapid growth of Internet applications has made communication anonymity an increasingly important or even indispensable security requirement. Onion routing has been employed as an infrastructure for anonymous communication over a public network, which provides anonymous connections that are strongly resistant to both eavesdropping and traffic analysis. However, existing onion routing protoco...
متن کاملInference attacks against trust-based onion routing: Trust degree to the rescue
Trust-based onion routing enhances anonymity protection by means of constructing onion circuits using trust-based routers. However, attackers who have the knowledge of a priori trust distributions are still capable of largely reducing the anonymity protected by trustbased circuits. The root cause is that these attackers have a high probability to guess the users who initiate trust-based circuit...
متن کاملAnalysing Onion Routing Bachelor-Thesis
Although methods for reaching security goals such as secrecy, integrity and authentication are widely used in the Internet, there is no widely-used solution providing anonimity. Among all existing approaches to provide anonimity onion routing is a very promising one. In this paper the security goals concerning anonymity are given and it is shown that onion routing can in principle provide solut...
متن کاملTowards More Trustworthy Trust- Based Systems for Anonymity and Web Security
In today’s Internet, trust has been widely used to design anonymity and security enhanced systems. Some of these trust-based systems have been successfully deployed in the Internet for a long time and benefit a large population of Internet users. In particular, trust-based onion routing network is a representative example for the use of trust in protecting anonymity. As one of the most popular ...
متن کامل